Patrick Cousot (leader) Semantics and Abstract Interpretation
نویسندگان
چکیده
ION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot Patrick Cousot (leader) SEMANTICS AND ABSTRACT INTERPRETATION 1 Paris, Wednesday May 11, 2011 ABSTRACTION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot The team:ION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot The team: 2 Recent former permanent members: • David Monniaux (Vérimag, Grenoble) • Bruno Blanchet (INRIA Cascade, ENS) • Laurent Mauborgne (IMDEA, Madrid, Spain) • Liqian Chen (NUDT, Changsha, China) • Pietro Ferrara (ETH Zürich) • Élodie-Jane Sims (CMU-Silicon Valley) Recent former nonpermanent members: • Patrick Cousot!!Prof. ENS • Radhia Cousot!!DR2 CNRS • Jérôme Feret!!CR1 INRIA • Antoine Miné!!CR2 CNRS • Xavier Rival!!CR1 INRIA • Julien Bertrane!!ATER ENS • PhD students: F. Camporesi, V. Laviron, M.!Zanioli +3, Post-docs: A. Romanel +1, Interns: T. Cheng, S. Renard, A. Toubhans, Visitors: (~10) ABSTRACTION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot The problem and our approach
منابع مشابه
Abstract Interpretation of Algebraic Polynomial Systems
Interpretation of Algebraic Polynomial Systems (Extended Abstract) Patrick Cousot 1 and Radhia Cousot 2 1 LIENS, ~cole Normale Sup4neure, 45 rue d'Ulm, 75230 Paris cedex 05, France [email protected] http://www.dmi.ens.fr/-cousot 2 LIX, CNRS & Ecole Polytechnique, 91140 Palaiseau cedex, France [email protected] http://lix.polytechnique.fr/-rcousot Abstract. We define a hierarchy of co...
متن کاملAbstract interpretation of resolution-based semantics
interpretation of resolution-based semantics Patrick Cousot a,b,∗, Radhia Cousot c,a, Roberto Giacobazzi d a École Normale Supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France b Courant Institute of Math. Sciences, New York University, New York, NY 10012, United States c CNRS, France d Universitá degli Studi di Verona, Dipartimento di Informatica, Cá Vignal 2, Strada Le Grazie 15, 37134 Veron...
متن کاملA Galois Connection Calculus for Abstract Interpretation (Auxiliary Materials)
We introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation.
متن کاملLecture 6. Abstract Interpretation
Domain: Interval Abstract Semantics: the ExampleSemantics: the Example I Abstract values: +, -, 0 I Abstract operations: I Sound: the signedness properties preserve in the abstract domain See the extension of the Prof. Alex Aiken’s example
متن کاملA Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination 1
We illustrate the design of correct semantics-based program transformations by abstract interpretation on blocking code elimination.
متن کامل